A matroid approach to stable matchings with lower quotas
نویسندگان
چکیده
In SODA’10, Huang introduced the laminar classified stable matching problem (LCSM for short) that is motivated by academic hiring. This problem is an extension of the wellknown hospitals/residents problem in which a hospital has laminar classes of residents and it sets lower and upper bounds on the number of residents that it would hire in that class. Against the intuition that stable matching problems with lower quotas are difficult in general, Huang proved that this problem can be solved in polynomial time. In this paper, we propose a matroid-based approach to this problem and we obtain the following results. (i) We solve a generalization of the LCSM problem. (ii) We exhibit a polyhedral description for stable assignments of the LCSM problem, which gives a positive answer to Huang’s question. (iii) We prove that the set of stable assignments of the LCSM problem has a lattice structure similarly to the ordinary stable matching model.
منابع مشابه
A Generalized Polymatroid Approach to Stable Matchings with Lower Quotas
Classified stable matching, proposed by Huang, describes a matching model between academic institutes and applicants, where each institute has upper and lower quotas on classes, i.e., subsets of applicants. Huang showed that the problem to decide whether there exists a stable matching or not is NP-hard in general. On the other hand, he showed that the problem is solvable if the classes form a l...
متن کاملThe College Admissions problem with lower and common quotas
We study two generalised stable matching problems motivated by the current matching scheme used in the higher education sector in Hungary. The first problem is an extension of the College Admissions problem in which the colleges have lower quotas as well as the normal upper quotas. Here, we show that a stable matching may not exist and we prove that the problem of determining whether one does i...
متن کاملPopular Matchings with Lower Quotas
We consider the well-studied Hospital Residents (HR) problem in the presence of lower quotas (LQ). The input instance consists of a bipartite graph G = (R∪H, E) where R and H denote sets of residents and hospitals respectively. Every vertex has a preference list that imposes a strict ordering on its neighbors. In addition, each hospital h has an associated upper-quota q+(h) and lower-quota q−(h...
متن کاملEnvy-free Matchings with Lower Quotas
While every instance of the Hospitals/Residents problem admits a stable matching, the problem with lower quotas (HR-LQ) has instances with no stable matching. For such an instance, we expect the existence of an envy-free matching, which is a relaxation of a stable matching preserving a kind of fairness property. In this paper, we investigate the existence of an envy-free matching in several set...
متن کاملStable Matchings with Ties, Master Preference Lists, and Matroid Constraints
In this paper, we consider a matroid generalization of the hospitals/residents problem with ties and master lists. In this model, the capacity constraints for hospitals are generalized to matroid constraints. By generalizing the algorithms of O’Malley for the hospitals/residents problem with ties and master lists, we give polynomial-time algorithms for deciding whether there exist a super-stabl...
متن کامل